|
|
Generic Decentralized Self-Adaptive Context-Aware Architecture Model
Kazzaz, M. Mohanned ; Zimmerová, Barbora (oponent) ; Vranić,, Valentino (oponent) ; Zendulka, Jaroslav (vedoucí práce)
The evolution in information system continuously raises demands for more efficient, effective and adaptive cooperation between system's components to cope with changes in the system and to guarantee its best performance. Two main approaches have been introduced to achieve these requirements. First, the self-adaptation approach which enables information system to adapt to the changes in context information of the system and its surrounding environment based on an adaptation strategy. Second, context-awareness approach which enables to monitor the context information and recognize those changes that can trigger the adaptation process. In this work we introduce a generic context-aware self-adaptive architecture model to support software system with adaptation functionalities that guarantee system's availability, operation conditions and performance. Moreover, we provide two real-life case studies as a proof-of-concept of the applicability and re-usability of our proposed adaptation approach.
|
|
|
Uncertainty-Aware Self-Adaptive Cyber-Physical Systems
Al Ali, Rima ; Bulej, Lubomír (vedoucí práce) ; Pelliccione, Patrizio (oponent) ; Bühnová, Barbora (oponent)
Kyber-fyzikální systémy (CPS) je třeba navrhovat tak, aby byly schopny vyrovnat se z nejistotami, které vznikají při získávání dat o okolí těchto systémů. To vyžaduje využití vhodného modelu, který pak umožňuje dělat správná rozhodnutí a provádění správných akcí (v některých případech ovlivňující své okolí) na základě nepřesných informací. Volba a integrace vhodného modelu do návrhu může být složitá, protože vyžaduje identifikaci druhů nepřesností a znalost jejich modelování a aplikace. I když se může vývojář inspirovat konkrétními existujícími příklady, aplikace těchto postupů v jiných případech může být složitá, zejména z důvodů specifické neustálené terminologie, rozdíly v kontextu, a systémovými požadavky. Abychom usnadnili vývoj CPS, představujeme v této práci přehled přístupů, které berou nepřesné informace v úvahu, a to v oblasti kolektivních CPS. V této práci prezentujeme systematickou studii vědeckých projektů s průmyslovými vedoucími a syntézu vztahů mezi systémovými požadavky, druhy nepřesností a metodami pro jejich zpracování. Výsledky poskytují přehled druhů nepřesností napříč doménami a výzvami. Dále představujeme průvodce pro návrh sebeupravujících CPS, které umožňují zpracování nepřesností. V závěru představujeme proces, který umožňuje se s určitými druhy nepřesností vyrovnat.
|
|
|
Generic Decentralized Self-Adaptive Context-Aware Architecture Model
Kazzaz, M. Mohanned ; Zimmerová, Barbora (oponent) ; Vranić,, Valentino (oponent) ; Zendulka, Jaroslav (vedoucí práce)
The evolution in information system continuously raises demands for more efficient, effective and adaptive cooperation between system's components to cope with changes in the system and to guarantee its best performance. Two main approaches have been introduced to achieve these requirements. First, the self-adaptation approach which enables information system to adapt to the changes in context information of the system and its surrounding environment based on an adaptation strategy. Second, context-awareness approach which enables to monitor the context information and recognize those changes that can trigger the adaptation process. In this work we introduce a generic context-aware self-adaptive architecture model to support software system with adaptation functionalities that guarantee system's availability, operation conditions and performance. Moreover, we provide two real-life case studies as a proof-of-concept of the applicability and re-usability of our proposed adaptation approach.
|
|
|
Model-Driven Development of Software-Intensive Cyber-Physical Systems
Gerostathopoulos, Ilias ; Hnětynka, Petr (vedoucí práce) ; Seinturier, Lionel (oponent) ; Crnkovic, Ivica (oponent)
Softwarové cyber-physical systémy (siCPS) jsou modulární, otevřené, propojené a rozsáhlé ICT systémy, které stále více závisejí na softwaru. Tyto systémy musejí být spolehlivý a zároveň schopné se adaptovat na změny v proměnlivém prostředí, ve kterém jsou provozovány. Tato kombinace činí jejich návrh a realizaci obtížnými, neboť tradiční modelem řízené techniky pro návrh a vývoj nejsou schopny brát v potaz zároveň spolehlivost a autoadaptivitu. Tato práce navrhuje: (1) nový, modelem řízený proces návrhu siCPS systémů, který obsahuje vhodné metodiky a modely a zároveň podporuje spolehlivost i autoadaptivitu; a (2) mapování vzniklých návrhových modelů do abstrakcí na úrovni implementace, což umožňuje modelem řízený vývoj a rychlé experimentování v kontextu siCPS. Konkrétní realizaci bodu (1) představuje zavedení a rozpracování metody Invariant Refinement Method (IRM) - a jejího rozšíření pro podporu adaptivity - určené pro návrh siCPS založených na konceptu tzv. ansámblů. IRM je integrováno do metodiky vytvořené pro vývoj autonomních systémů založených na ansámblech. Z hlediska realizace bodu (2) práce navrhuje mapování z IRM konceptů do konceptů komponentového modelu DEECo. Mapování je podloženo implementačními prototypy nástrojů pro manipulace s modelem. Důležitou součástí práce je rovněž...
|
host ::
RSS.